921. Synthesis of arithmetic circuits
پدیدآورنده : / Jean-Pierre Deschamps, Gery Jean Antoine Bioul, Gustavo D. Sutter
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer arithmetic and logic units,Digital electronics,Embedded computer systems
رده :
TK7895
.
A65
,
D47
2005
922. Synthesis of arithmetic circuits
پدیدآورنده : / Jean-Pierre Deschamps, Gery Jean Antoine Bioul, Gustavo D. Sutter
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer arithmetic and logic units.,Digital electronics.,Embedded computer systems.
رده :
TK
,
7895
,.
A65
,
D47
,
2006
923. Synthesis of arithmetic circuits: FPGA, ASIC and embedded systems
پدیدآورنده : Deschamps, Jean-Pierre
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Computer arithmetic and logic units,، Digital electronics,، Embedded computer systems
رده :
TK
7895
.
A65
.
D47
2005
924. Synthesis of arithmetic circuits : FPGA, ASIC and embedded systems
پدیدآورنده : Deschamps, Jean-Pierre
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Computer arithmetic and logic units,، Digital electronics,، Embedded computer systems
رده :
TK
7895
.
D47
2005
925. Synthesis of arithmetic circuitsFPGA, ASIC, and embedded systems. ]CD[, Synthesis of arithmetic circuits )Online(
پدیدآورنده : Deschamps, Jean-Pierre, Jean-Pierre Deschamps, Gعery Jean Antoine Bioul, Gustavo D. Sutter
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer arithmetic and logic units,، Digital electronics,، Embedded computer systems,، Electronic books
رده :
TK7895
.
A65
D47
2006
926. System Analysis and Modeling: About Models
پدیدآورنده : edited by Frank Alexander Kraemer, Peter Herrmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks.,Computer science.,Information storage and retrieval systems.,Logic design.,Software engineering.
927. System and circuit design for biologically-inspired intelligent learning
پدیدآورنده : ]edited by[ Turgay Temel
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Neural networks )Computer science(,، Biologically-inspired computing,، Logic circuits
رده :
QA
76
.
87
.
S97
2011
928. System and circuit design for biologically-inspired intelligent learning
پدیدآورنده : [edited by] Turgay Temel
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع : Neural networks (Computer science),Biologically -- inspired computing,Logic circuits
929. System-on-chip :
پدیدآورنده : edited by Bashir M. Al-Hashimi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Embedded computer systems.,Microelectronics.,Systems on a chip.,COMPUTERS-- Logic Design.,Embedded computer systems.,Microelectronics.,Microélectronique.,Systèmes enfouis (informatique),Systems on a chip.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Logic.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- VLSI & ULSI.,TECHNOLOGY & ENGINEERING-- Electronics-- Digital.,TECHNOLOGY & ENGINEERING-- Electronics-- Microelectronics.
رده :
TK7895
.
E42
S976
2006eb
930. TAPSOFT '95:
پدیدآورنده : edited by Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
931. Techniques of Prolog programming : with implementation of logical negation and quantified goals
پدیدآورنده : Van Le, T.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Prolog )Computer program language( , Negation )Logic(
رده :
QA
76
.
73
.
P76
V36
1993
932. Temporal Logic :
پدیدآورنده : edited by Dov M. Gabbay, Hans Jürgen Ohlbach.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Database management.,Logic design.
رده :
QA76
.
6
E358
1994
933. Temporal Logic of Programs
پدیدآورنده : by Fred Kröger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.
رده :
QA76
.
9
.
L63
B947
1987
934. Temporal logic : first International Conference, ICTL'94, Bonn, Germany, July 11-14, 1994 : proceedings
پدیدآورنده : Dov M. Gabbay, Hans Jurgen Ohlbach )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
827
935. Temporal logics : and their applications
پدیدآورنده : edited by Antony Galton
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
T46
1987
936. Testfreundliche Synthese hochintegrierter Schaltungen
پدیدآورنده : von Bernhard Eschermann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Microprogramming.
رده :
TK7874
.
65
V663
1992
937. Tests and Proofs
پدیدآورنده : edited by Achim D. Brucker, Jacques Julliand
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science,Computer simulation,Logic design,Software engineering,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Simulation and Modeling,Software Engineering
938. The Amazing Journey of Reason
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : output equipment (Computers). ; Computer communication systems. ; Operating systems (Computers). ; Algorithms. ; Mathematical logic. ; Math Applications in Computer Science. ; -Mathematics. ; Input-Computer science
939. The imperative future: principles of executable tomporal logic
پدیدآورنده : edited by Howard Barringer ... ]et al[
موضوع : ، Computer software - Development,، Programming languages )Electronic computer(,، Logic, symbolic and mathematical
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
940. The Logic of theory change : Workshop, Konstanz, FRG, October 13-15, 1989 : proceedings
پدیدآورنده : A. Fuhrmann, M. Morreau )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
465
